Длина имени переменной напрямую зависит от числа мест её использования ( Read more... )

Источник вдохновенияУникальные типы гарантируют не более одной ссылки на всём протяжении обработки сложной структуры (массивы, например). В это время эта структура может обновляться деструктивным образом ( Read more... )

В изложении Влада (который gaperton).

Вкратце - сокращается количество сущностей, которые надо удерживать в мозгу при первоначальном анализе проблемы и дизайне программы.

Сперва об успехах: 92.5 кг в жиме лежа. К этой цифре меня подвели шажками по 2.5 кг с 85 кг. Это хорошо, это мой рекорд на данное время - в юности выжал 90 кг, как-то раз, больше не пробовал.

( Техническое, про конструирование аппаратуры и рекурсию )

• 
  Atom
• 
  Bluespec
• 
  Confluence
• 
  Hawk
• 
  HDCaml